Higher category theory - PDFSEARCH.IO - Document Search Engine

Higher category theory
Results: 120

#	Item
21	Spans and the Categorified Heisenberg Algebra John Baez for more, see: http://tinyurl.com/baez-spans Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2013-09-23 20:32:13 Bicategory Monoid Braided monoidal category PRO 2-category Product Functor Adjoint functors Monoidal functor Category theory Monoidal categories Higher category theory
22	Dedicated to the many bright young theoretical physicists that failed to escape the fate of having to work in institutions like banks. Preface New? In what sense? Surely I am not the only person who, after extensively Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2010-09-17 09:21:15 Classes of computers Models of computation Higher category theory Quantum field theory Topology Quantum computer Quantum mechanics Samson Abramsky Topological quantum computer Category theory Mathematics Physics
23	Spans and the Categorified Heisenberg Algebra – 3 John Baez for more, see: http://math.ucr.edu/home/baez/spans/ Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2013-08-16 01:08:39 Homotopy theory Algebraic structures Higher category theory Monoidal categories Groupoid Functor Category Coproduct Natural transformation Abstract algebra Category theory Algebra
24	arXiv:math/0306223v1 [math.CT] 13 JunCategory Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience∗ Timothy Porter† Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 08:32:57 Diagram Functors Limit Duality Coproduct Function Morphism Valuation Pushout Category theory Mathematics Abstract algebra
25	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-11 16:56:14 Recursion Theoretical computer science Category theory Functional programming Higher-order functions Corecursion Fold Coinduction Map Software engineering Computer programming Declarative programming
26	Extended Abstract Preprint for IFL[removed]Flipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Category theory Higher-order functions Adjoint functors Functional programming Fold Recursion Map Monad Combinatorial species Abstract algebra Declarative programming Software engineering
27	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematics Adjoint functors Computer programming Type theory F-coalgebra Initial algebra F-algebra Map Coalgebra Category theory Functional programming Software engineering
28	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:05 Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory Abstract algebra Mathematics
29	GAP package authors’ workshop, Braunschweig, [removed]Computational Higher-Dimensional Algebra packages at Bangor Add to Reading List Source URL: www.maths.bangor.ac.uk Language: English - Date: 2007-09-21 12:17:11 Category theory Higher category theory Homotopy theory Algebraic topology Algebraic structures Groupoid Crossed module Higher-dimensional algebra Group action Abstract algebra Algebra Mathematics
30	HIGHER NONUNITAL QUILLEN K0 -THEORY, KK-DUALITIES AND APPLICATIONS TO TOPOLOGICAL T-DUALITIES SNIGDHAYAN MAHANTA Abstract. Quillen introduced a new K00 -theory of nonunital rings in [41] and showed that, under some assum Add to Reading List Source URL: wwwmath.uni-muenster.de Language: English - Date: 2014-05-13 03:15:15 Homological algebra Homotopy theory Adjoint functors Functor Equivalence of categories Homotopy category Derived category Model category KK-theory Abstract algebra Category theory Algebra

UPDATE